philosopher in a library